GtkTextView: Fix scrolling of added children
authorAlexander Larsson <alexl@redhat.com>
Wed, 8 Jan 2014 14:26:15 +0000 (15:26 +0100)
committerAlexander Larsson <alexl@redhat.com>
Fri, 10 Jan 2014 11:08:52 +0000 (12:08 +0100)
commit664fe89f6e35c18f8be8954f4de62a17625d5e30
treea15b63bb2eca90b2d380556436c0bb30c762c9e0
parent59bf558995e7994960da62c9a5dabcd5274b6ebe
GtkTextView: Fix scrolling of added children

The behaviour of gtk_text_view_add_child_in_window() used to be
quite broken. It scrolled with the window during scrolling, then
jumped to the absolute position when the widget resized. Furthermore,
in 3.10 we broke the first feature, making it always be fixed.

The "proper" way to handle this is to always follow scrolling. This
is what the only user so far (gedit) wants, and if you want some
kind of overlay you should use GtkOverlay instead.

So, this changes the behaviour to something that is internally consistent
and works. I.e. all added widgets scroll with the textview as needed.

https://bugzilla.gnome.org/show_bug.cgi?id=711826
gtk/gtktextview.c